Concolic Testing 기반 프로그램 상호작용 슬라이싱 기법 설계May 1, 2019 · One min read서강복김덕엽이우진담당교수2019 한국 정보처리학회 춘계학술발표대회 논문집, 제26권 제1호, 2019년 5월